Michael Detlefsen : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (63)
Les plus populaires
Liste
- Liste
- Tableau

1

Poincaré vs. Russell on the Rôle of Logic in Mathematicst

DETLEFSEN, MICHAEL

Journal:

Philosophia Mathematica

Année:

1993

Langue:

english

Fichier:

PDF, 1.41 MB

english, 1993

2

The Four-Color Theorem and Mathematical Proof

Michael Detlefsen and Mark Luker

Journal:

The Journal of Philosophy

Année:

1980

Langue:

english

Fichier:

PDF, 425 KB

english, 1980

3

Poincaré against the logicians

Michael Detlefsen

Journal:

Année:

1992

Langue:

english

Fichier:

PDF, 1.85 MB

english, 1992

4

On an Alleged Refutation of Hilbert's Program Using Gödel's First Incompleteness Theorem

Michael Detlefsen

Journal:

Journal of Philosophical Logic

Année:

1990

Langue:

english

Fichier:

PDF, 3.24 MB

english, 1990

5

Brouwerian Intuitionism

DETLEFSEN, MICHAEL

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 2.09 MB

english, 1990

6

THE CONCEPT OF LOGICAL CONSEQUENCE

MICHAEL DETLEFSEN

Journal:

Analytic Philosophy

Année:

1993

Langue:

english

Fichier:

PDF, 666 KB

english, 1993

7

Methodologies to Determine Operating Reserves Due to Increased Wind Power

Holttinen, Hannele, Milligan, Michael, Ela, Erik, Menemenlis, Nickie, Dobschinski, Jan, Rawn, Barry, Bessa, Ricardo J., Flynn, Damian, Gomez-Lazaro, Emilio, Detlefsen, Nina K.

Journal:

IEEE Transactions on Sustainable Energy

Année:

2012

Langue:

english

Fichier:

PDF, 1.75 MB

english, 2012

8

Fregean hierarchies and mathematical explanation*

Detlefsen, Michael

Journal:

International Studies in the Philosophy of Science

Année:

1988

Langue:

english

Fichier:

PDF, 1.20 MB

english, 1988

9

On Interpreting Gödel's Second Theorem

Michael Detlefsen

Journal:

Journal of Philosophical Logic

Année:

1979

Langue:

english

Fichier:

PDF, 1.52 MB

english, 1979

10

Computation with roman numerals

Michael Detlefsen, Douglas K. Erlandson, J. Clark Heston, Charles M. Young

Journal:

Archive for History of Exact Sciences

Année:

1976

Langue:

english

Fichier:

PDF, 454 KB

english, 1976

11

MEDICAL PATERNALISM RECONSIDERED

Lomasky, Loren E., Detlefsen, Michael

Journal:

Pacific Philosophical Quarterly (Blackwell Publishing)

Année:

1981

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1981

12

On an alleged refutation of Hilbert's Program using Gödel's First Incompleteness Theorem

Michael Detlefsen

Journal:

Journal of Philosophical Logic

Année:

1990

Langue:

english

Fichier:

PDF, 2.08 MB

english, 1990

13

Löb's Theorem as a Limitation on Mechanism

Michael Detlefsen

Journal:

Minds and Machines

Année:

2002

Langue:

english

Fichier:

PDF, 189 KB

english, 2002

14

Computation with Roman Numerals

Michael Detlefsen, Douglas K. Erlandson, J. Clark Heston and Charles M. Young

Journal:

Archive for History of Exact Sciences

Année:

1976

Langue:

english

Fichier:

PDF, 651 KB

english, 1976

15

[IEEE 2017 22nd International Conference on Methods and Models in Automation and Robotics (MMAR) - Miedzyzdroje, Poland (2017.8.28-2017.8.31)] 2017 22nd International Conference on Methods and Models in Automation and Robotics (MMAR) - Dynamic positioning with Voith Schneider Propeller: Experimental system validation with a model-scale offshore supply vessel

Koschorrek, Philipp, Siebert, Charlotte, Theilen, Lasse, Detlefsen, Ole, Palm, Michael, Mach, Klaus-Peter, Steinwand, Marc, Jeinsch, Torsten, Abdel-Maksoud, Moustafa

Année:

2017

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2017

16

Expression of CD117, CK17, CK20, MUC4, villin and mismatch repair deficiency in pancreatic intraductal papillary mucinous neoplasm

Detlefsen, SÃ¶nke, Jakobsen, Mark, Nielsen, Michael Friberg Bruun, KlÃ¶ppel, GÃ¼nter, Mortensen, Michael Bau

Journal:

Pathology - Research and Practice

Année:

2020

Fichier:

PDF, 143 KB

2020

17

Family-based association study of the MTHFR polymorphism C677T in the bladder-exstrophy-epispadias-complex

Heiko Reutter, Tim Becker, Michael Ludwig, Niklas Schäfer, Birte Detlefsen, Sylvie Beaudoin, Margit Fisch, Anne-Karoline Ebert, Wolfgang Rösch, Markus M. Nöthen, Thomas M. Boemers, Regina C. Betz

Journal:

American Journal of Medical Genetics Part A

Année:

2006

Langue:

english

Fichier:

PDF, 83 KB

english, 2006

18

Mind in the shadows

Michael Detlefsen

Journal:

Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics

Année:

1998

Langue:

english

Fichier:

PDF, 96 KB

english, 1998

19

On interpreting Gödel's Second Theorem

Michael Detlefsen

Journal:

Journal of Philosophical Logic

Année:

1979

Langue:

english

Fichier:

PDF, 953 KB

english, 1979

20

On a theorem of Feferman

Michael Detlefsen

Journal:

Philosophical Studies

Année:

1980

Langue:

english

Fichier:

PDF, 630 KB

english, 1980

21

Interleukin-1 receptor antagonist and interleukin-6 for early diagnosis of neonatal sepsis 2 days before clinical manifestation

Helmut Küster, Michael Weiss, Andreas E Willeitner, Stefanie Detlefsen, Irmela Jeremias, Juraj Zbojan, Ralf Geiger, Gert Lipowsky, Georg Simbruner

Journal:

Année:

1998

Langue:

english

Fichier:

PDF, 66 KB

english, 1998

22

Epidemiologic study of the bladder exstrophy-epispadias complex: analysis of 198 families

Lisa GAMBHIR Heiko REUTTER∗, Boris UTSCH†, Martin MÜLLER†, Birte DETLEFSEN‡, Hannes VOGT, Thomas M. BOEMERS‡, Wolfgang H. RÖSCH¶, Michael LUDWIG

Journal:

Journal of Pediatric Urology

Année:

2007

Langue:

english

Fichier:

PDF, 41 KB

english, 2007

23

[IEEE 2013 IEEE Power & Energy Society General Meeting - Vancouver, BC (2013.7.21-2013.7.25)] 2013 IEEE Power & Energy Society General Meeting - Methodologies to determine operating reserves due to increased wind power

Holttinen, Hannele, Milligan, Michael, Ela, Erik, Menemenlis, Nickie, Dobschinski, Jan, Rawn, Barry, Bessa, Ricardo J., Flynn, Damian, Gomez Lazaro, Emilio, Detlefsen, Nina

Année:

2013

Langue:

english

Fichier:

PDF, 639 KB

english, 2013

24

Complete Staining of Human Spermatozoa and Immature Germ Cells Combined With Phase Contrast Microscopy

Michael, A. Y., Drejer, J. O., Bagger, P. V., Detlefsen, G. U., Stakemann, G.

Journal:

Systems Biology in Reproductive Medicine

Année:

1987

Langue:

english

Fichier:

PDF, 267 KB

english, 1987

25

Wright on the Non-mechanizability of Intuitionist Reasoning

DETLEFSEN, MICHAEL

Journal:

Philosophia Mathematica

Année:

1995

Langue:

english

Fichier:

PDF, 837 KB

english, 1995

26

Angular Discrimination Using Multistatic Pulse Radar Information

Bockmair, Michael, Detlefsen, Jürgen, Lange, Martin

Journal:

Année:

1984

Fichier:

PDF, 510 KB

1984

27

Book Reviews

DETLEFSEN, MICHAEL

Journal:

Philosophia Mathematica

Année:

1995

Langue:

english

Fichier:

PDF, 648 KB

english, 1995

28

Regularity in Terms of Reductions in Local Noether Lattices

Michael E. Detlefsen

Journal:

Proceedings of the American Mathematical Society

Année:

1974

Langue:

english

Fichier:

PDF, 220 KB

english, 1974

29

Poincaré against the Logicians

Michael Detlefsen

Journal:

Année:

1992

Langue:

english

Fichier:

PDF, 3.32 MB

english, 1992

30

Brouwerian Intuitionism

Michael Detlefsen

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 2.88 MB

english, 1990

31

Laparoscopic and Percutaneous Core Needle Biopsy Plays a Central Role for the Diagnosis of Autoimmune Pancreatitis in a Single-Center Study From Denmark

Detlefsen, Sönke, Mortensen, Michael Bau, Pless, Torsten Kjærulff, Cribe, Anne-Sofie, de Muckadell, Ove B. Schaffalitzky

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 7.43 MB

english, 2015

32

On a Theorem of Feferman

Michael Detlefsen

Journal:

Philosophical Studies

Année:

1980

Langue:

english

Fichier:

PDF, 1.26 MB

english, 1980

33

Introduction to the Fiftieth Anniversary Issues

Detlefsen, Michael

Journal:

Notre Dame Journal of Formal Logic

Année:

2010

Langue:

english

Fichier:

PDF, 84 KB

english, 2010

34

Peritoneal metastasis from pancreatic cancer treated with pressurized intraperitoneal aerosol chemotherapy (PIPAC)

Graversen, Martin, Detlefsen, Sönke, Bjerregaard, Jon Kroll, Pfeiffer, Per, Mortensen, Michael Bau

Journal:

Clinical and Experimental Metastasis

Année:

2017

Langue:

english

Fichier:

PDF, 986 KB

english, 2017

35

Identification of markers for quiescent pancreatic stellate cells in the normal human pancreas

Nielsen, Michael Friberg Bruun, Mortensen, Michael Bau, Detlefsen, Sönke

Journal:

Histochemistry and Cell Biology

Année:

2017

Langue:

english

Fichier:

PDF, 9.10 MB

english, 2017

36

Critical Studies/Book Reviews

Detlefsen, Michael

Journal:

Philosophia Mathematica

Année:

2017

Langue:

english

Fichier:

PDF, 157 KB

english, 2017

37

Microscopic findings in EUS-guided fine needle (SharkCore) biopsies with type 1 and type 2 autoimmune pancreatitis

Detlefsen, Sönke, Joergensen, Maiken Thyregod, Mortensen, Michael Bau

Journal:

Pathology International

Année:

2017

Langue:

english

Fichier:

PDF, 4.89 MB

english, 2017

38

Introduction to Logicism and the Paradoxes: A Reappraisal

Detlefsen, Michael

Journal:

Notre Dame Journal of Formal Logic

Année:

2000

Langue:

english

Fichier:

PDF, 31 KB

english, 2000

39

Prenatal Diagnosis of Hydro(metro)colpos: A Series of 20 Cases

Mallmann, Michael R., Reutter, Heiko, Mack-Detlefsen, Birte, Gottschalk, Ingo, Geipel, Annegret, Berg, Christoph, Boemers, Thomas M., Gembruch, Ulrich

Journal:

Fetal Diagnosis and Therapy

Année:

2018

Langue:

english

Fichier:

PDF, 215 KB

english, 2018

40

[ASME ASME 2015 34th International Conference on Ocean, Offshore and Arctic Engineering - St. John’s, Newfoundland, Canada (Sunday 31 May 2015)] Volume 1: Offshore Technology; Offshore Geotechnics - Efficient Simulation Method to Predict Green Water Loads on Superstructures

Theilen, Lasse, Detlefsen, Ole, Abdel-Maksoud, Moustafa, Bohm, Michael

Année:

2015

Langue:

english

Fichier:

PDF, 5.64 MB

english, 2015

41

Prospective, single-center implementation and response evaluation of pressurized intraperitoneal aerosol chemotherapy (PIPAC) for peritoneal metastasis

Graversen, Martin, Detlefsen, Sönke, Bjerregaard, Jon Kroll, Fristrup, Claus Wilki, Pfeiffer, Per, Mortensen, Michael Bau

Journal:

Therapeutic Advances in Medical Oncology

Année:

2018

Langue:

english

Fichier:

PDF, 520 KB

english, 2018

42

SAE Technical Paper Series [SAE International SAE 2003 World Congress & Exhibition - (MAR. 03, 2003)] SAE Technical Paper Series - Radar Based IVC System

Wagner, Michael, Dickmann, Jürgen, Büchler, Josef, Winkler, Volker, Siart, Uwe, Detlefsen, Jürgen

Année:

2003

Langue:

english

Fichier:

PDF, 115 KB

english, 2003

43

Intraoperative Ultrasound: A Tool to Support Tissue-Sparing Curative Pancreatic Resection in Focal Congenital Hyperinsulinism

Bendix, Julie, Laursen, Mette G., Mortensen, Michael B., Melikian, Maria, Globa, Evgenia, Detlefsen, Sönke, Rasmussen, Lars, Petersen, Henrik, Brusgaard, Klaus, Christesen, Henrik T.

Journal:

Frontiers in Endocrinology

Année:

2018

Langue:

english

Fichier:

PDF, 2.13 MB

english, 2018

44

Histopathologic tumor regression grading in patients with gastric carcinoma submitted to neoadjuvant treatment: results of a Delphi survey

Tsekrekos, Andrianos, Detlefsen, Sönke, Riddell, Robert, Conner, James, Mastracci, Luca, Sheahan, Kieran, Shetye, Jayant, Lundell, Lars, Vieth, Michael

Journal:

Human Pathology

Année:

2018

Langue:

english

Fichier:

PDF, 1.40 MB

english, 2018

45

Tumor-specific genetic aberrations in cell-free DNA of gastroesophageal cancer patients

Koldby, Kristina Magaard, Mortensen, Michael Bau, Detlefsen, Sönke, Pfeiffer, Per, Thomassen, Mads, Kruse, Torben A.

Journal:

Journal of Gastroenterology

Année:

2018

Langue:

english

Fichier:

PDF, 469 KB

english, 2018

46

Fatal Septicemia Linked to Transmission of MRSA Clonal Complex 398 in Hospital and Nursing Home, Denmark

Nielsen, Rikke Thoft, Kemp, Michael, Holm, Anette, Skov, Marianne Nielsine, Detlefsen, Mette, Hasman, Henrik, Aarestrup, Frank Møller, Kaas, Rolf Sommer, Nielsen, Jesper Boye, Westh, Henrik, Kolmos, H

Journal:

Emerging Infectious Diseases

Année:

2016

Langue:

english

Fichier:

PDF, 346 KB

english, 2016

47

Adjuvant Pressurized IntraPeritoneal Aerosol Chemotherapy (PIPAC) in resected high-risk colon cancer patients – study protocol for the PIPAC-OPC3 Trial. A prospective, controlled phase 2 Study

Graversen, Martin, Detlefsen, Sönke, Fristrup, Claus, Pfeiffer, Per, Mortensen, Michael Bau

Journal:

Pleura and Peritoneum

Fichier:

PDF, 2.09 MB

48

Treatment of peritoneal carcinomatosis with Pressurized IntraPeritoneal Aerosol Chemotherapy – PIPAC-OPC2

Graversen, Martin, Detlefsen, Sönke, Asmussen, Jon, Mahdi, Bassam, Fristrup, Claus, Pfeiffer, Per, Mortensen, Michael Bau

Journal:

Pleura and Peritoneum

Fichier:

PDF, 2.15 MB

49

Treatment of peritoneal carcinomatosis with Pressurized IntraPeritoneal Aerosol Chemotherapy – PIPAC-OPC2

Graversen, Martin, Detlefsen, Sönke, Asmussen, Jon, Mahdi, Bassam, Fristrup, Claus, Pfeiffer, Per, Mortensen, Michael Bau

Journal:

Pleura and Peritoneum

Langue:

english

Fichier:

PDF, 2.15 MB

english

50

Adjuvant Pressurized IntraPeritoneal Aerosol Chemotherapy (PIPAC) in resected high-risk colon cancer patients – study protocol for the PIPAC-OPC3 Trial. A prospective, controlled phase 2 Study

Graversen, Martin, Detlefsen, Sönke, Fristrup, Claus, Pfeiffer, Per, Mortensen, Michael Bau

Journal:

Pleura and Peritoneum

Langue:

english

Fichier:

PDF, 2.09 MB

english